基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

灭火救援战术演习有关问题探讨

对灭火战术训练法之一———灭火救援战术演习的含义、特点、地位、作用以及演习的组织方式等方面进行了系统论述,为部队更有效地开展灭火战术演习,提高部队灭火救援作战能力,提供理论指导和借鉴。     

论建设城市消防远程监控系统的必要性

目前，我国城市消防远程监控系统建设工作已经全面推广，该系统在运用市场手段推进消防工作社会化，提高城市预防和抵御火灾综合能力，提高消防部队快速反应能力、单位消防安全管理水平、消防监督执法效率和消防社会化水平等方面具有十分重要的意义和作用。由于系统主要由中介组织运营，进一步规范中介组织的法律地位和责任，引入市场竞争机制，逐步拓展其服务项目，不断研发新技术从而提高系统的可靠性是当前面临和亟待解决的问题。     

基于体系对抗仿真的装甲装备体系效能评估

针对体系效能评估中仿真结果数据的转化和聚合问题,提出采用效用函数方法加以解决。首先构建了装甲装备体系作战效能的层次化指标体系,在此基础上,引入效用函数对仿真数据进行转化,然后通过加权求和得到体系的整体作战效能和作战能力。最后,通过装甲装备体系对抗仿真和效能评估实例,说明了该方法用于解决体系效能评估问题的可行性和有效性。     

Clifford分析中K超正则函数的Riemann边值问题

Clifford分析中的函数理论被广泛研究,得到的许多结果推广了经典复分析中解析函数的理论。文中研究了Clifford分析中K超正则函数的Riemann边值问题,得到它的一种表示式和Cauchy积分公式等一些性质,利用转化法和积分方程及不动点原理证明了它的一类Riemann边值问题O解的存在唯一性。     

完全非线性函数的原像分布特征

完全非线性函数在密码设计与分析中具有十分重要的作用.利用代数数论的方法,研究一般有限Abel群上完全非线性函数的原像分布特征,给出了一般有限Abel群上完全非线性函数存在的一个必要条件,证明了某些群上不存在完全非线性函数,得到了素数域上完全非线性函数的原像分布.     

ISIS’s Warfare Functions: A Systematized Review of a Proto-state’s Conventional Conduct of Combat Operations

This article gives an overall assessment of ISIS’s conventional conduct of combat operations by examining their warfighting functions patterns. In sum, the approach of ISIS comprised fundamental principles: their weapons can be organized into categories, purposeful combination of these forces in keeping with the concept of combined arms combat, and hierarchical command and control executed by experienced commanders. ISIS combat groups combined the elements of formation and firepower as well as movement and mobility. The paper concludes that ISIS obviously had a vast range of conventional capabilities at its disposal and was thus able to conduct major operations.     

高非线性度弹性S盒的构造

弹性S盒可应用于容错分布计算,量子密码密钥分配和流密码中伪随机序列产生.基于线性码和高非线性度的S盒,给出了一种构造具有高非线性度,且代数次数大于给定值的弹性S盒的方法.对于给定参数的线性码,构造的弹性S盒的非线性度是可以计算的.结果表明所构造的函数的非线性度优于已有的结果.     

三合一场所火灾中救人行动探讨

通过对近年来“三合一”场所火灾扑救案例的研究，分析了“三合一”场所火灾的特点及其对实施救人行动的影响，提出了“三合一”场所火灾中实施救人行动的指导原则，对火灾发展各阶段救人行动要点进行了探讨。     

Competition under time‐varying demands and dynamic lot sizing costs

We develop a competitive pricing model which combines the complexity of time‐varying demand and cost functions and that of scale economies arising from dynamic lot sizing costs. Each firm can replenish inventory in each of the T periods into which the planning horizon is partitioned. Fixed as well as variable procurement costs are incurred for each procurement order, along with inventory carrying costs. Each firm adopts, at the beginning of the planning horizon, a (single) price to be employed throughout the horizon. On the basis of each period's system of demand equations, these prices determine a time series of demands for each firm, which needs to service them with an optimal corresponding dynamic lot sizing plan. We establish the existence of a price equilibrium and associated optimal dynamic lotsizing plans, under mild conditions. We also design efficient procedures to compute the equilibrium prices and dynamic lotsizing plans.© 2008 Wiley Periodicals, Inc. Naval Research Logistics 2009